graded monad
E-monad
https://dl.acm.org/doi/10.1145/2578855.2535846
https://mizunashi-mana.github.io/blog/posts/2019/06/graded-monad-and-effects/
https://ncatlab.org/nlab/show/graded+monad
https://myuon-myon.hatenablog.com/entry/2017/07/15/200203
定義 graded monad T とは、preordered monoid E から ［C,C］ への
lax monoidal functor
のことである。